Search Results
Mark Bickford Lecture 1, OPLSS 2015
Mark Bickford Lecture 2, OPLSS 2015
Robert Constable Lecture 1, OPLSS 2015
Robert Constable Lecture 2, OPLSS 2015
Mark Bickford: Constructive Set Theory in Nuprl Type Theory
Process Extraction in an Abstract Logic of Events [1/2]
Adam Chlipala Lecture 6, OPLSS 2015
NuPrl to the Rescue (cont) - Georgia Tech - Advanced Operating Systems
Mark Bickford Interview - Sodexo
NuPrl to the Rescue - Georgia Tech - Advanced Operating Systems
Kuen-Bang Hou (Favonia), Towards efficient cubical type theory
Giovanni Sambin: Pointfree topology is real and pointwise is ideal
![Process Extraction in an Abstract Logic of Events [1/2]](https://img.youtube.com/vi/75c5H9zZoQQ/hqdefault.jpg)
